On Partially Additive Kleene Algebras
نویسنده
چکیده
We define the notion of a partially additive Kleene algebra, which is a Kleene algebra where the + operation need only be partially defined. These structures formalize a number of examples that cannot be handled directly by Kleene algebras. We relate partially additive Kleene algebras to existing algebraic structures, by exhibiting categorical connections with Kleene algebras, partially additive categories, and closed semirings.
منابع مشابه
*-Continuous Kleene $\omega$-Algebras for Energy Problems
Energy problems are important in the formal analysis of embedded or autonomous systems. Using recent results on ∗-continuous Kleene ω-algebras, we show here that energy problems can be solved by algebraic manipulations on the transition matrix of energy automata. To this end, we prove general results about certain classes of finitely additive functions on complete lattices which should be of a ...
متن کاملPartially Ordered Monads for Monadic Topologies, Rough Sets and Kleene Algebras
In this paper we will show that partially ordered monads contain sufficient structure for modelling monadic topologies, rough sets and Kleene algebras. Convergence represented by extension structures over partially ordered monads includes notions of regularity and compactness. A compactification theory can be developed. Rough sets [23] are modelled in a generalized setting with set functors. Fu...
متن کاملPartially ordered monads and powerset Kleene algebras
Monads are used for various applications in computer science, and well-known is e.g. the interpretation of morphisms in the Kleisli category of the term monad as variable substitutions assigning variables to terms. An application building upon this observation is the equivalence between most general unifiers and co-equalizers in this category [13]. In this paper we will use monads with addition...
متن کاملOn the Expressive Power of Kleene Algebra with Domain
It is shown that antidomain semirings are more expressive than test semirings and that Kleene algebras with domain are more expressive than Kleene algebras with tests. It is also shown that Kleene algebras with domain are expressive for propositional Hoare logic whereas Kleene algebras with tests are not.
متن کاملOn Kleene Algebras and Closed Semirings
Kleene algebras are an important class of algebraic structures that arise in diverse areas of computer science: program logic and semantics, relational algebra, automata theory, and the design and analysis of algorithms. The literature contains several inequivalent definitions of Kleene algebras and related algebraic structures [2, 14, 15, 5, 6, 1, 10, 7]. In this paper we establish some new re...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/cs/0501032 شماره
صفحات -
تاریخ انتشار 2005